Non-linear analysis for the freezing–thawing situation of the rock surrounding the tunnel in cold regions under the conditions of different construction seasons, initial temperatures and insulations