Ice cover variability on shallow lakes at high latitudes: Model simulations and observations