Modelling of cryogenic processes in permafrost and seasonally frozen soils | Synapse