Thermo-Hydro-Mechanical Modeling of Artificial Ground Freezing: Application in Mining Engineering