Damages of Underground Facilities in Coal Mines due to Gas Explosion Shock Waves: An Overview. (30th October 2021)