Ice-cover variability on shallow lakes at high latitudes: model