Finite element modeling and analysis for artificial ground freezing in egress shafts