THM-coupled finite element analysis of frozen soil: formulation and application | Publicación