Explosion characteristics and energy utilisation of coal mine ultra-lean methane