Text this: Analytical Solution of Three-Dimensional Heaving Displacement of Ground Surface during Tunnel Freezing Construction Based on Stochastic Medium Theory