Email Post: Progress and advancements of coal mine gas control and management for safe mining in China