Text this: Damages of Underground Facilities in Coal Mines due to Gas Explosion Shock Waves: An Overview