Study of airflow in a cold-region tunnel using a standard k − ε turbulence model and air-rock heat transfer characteristics: validation of the CFD results