Fault tree analysis and prevention strategies for gas explosion in underground coal mines of Pakistan | Synapse