Management of Thermal Hazards in Deep Mines in China: Applications and Prospects of Mine Cooling Technology | Synapse