Anti-freezing system of high altitude and high geothermal tunnel based on air-source heat extraction and case analysis. (April 2022)