PDF: Numerical simulation of frozen wall formation in water-saturated rock mass by solving the Darcy-Stefan problem