Modelling rock avalanche propagation onto glaciers