发送短信: A construction method of coal mine technology management system and its application