Modelling dynamics of glaciers in volcanic craters