explosion control in coal mining