A dynamic information platform for underground coal mine safety based on internet of things. (March 2019)