Modelling the dynamics of snow cover, soil frost and surface ice in Norwegian grasslands