Modelling circulation in an ice-covered lake