Permafrost changes in rock walls and the retreat of alpine glaciers: a thermal modelling approach