Modelling glacier-bed overdeepenings and possible future lakes for the glaciers in the Himalaya—Karakoram region | Synapse