Modelling heat transfer in permafrost with COMSOL