A thermal environment prediction method for a mine ventilation roadway based on a numerical method: A case study