Text this: Application of time series database technology in coal mine safety monitoring system