Probabilistic estimation of glacier surface elevation changes from DEM differentiation: a Bayesian method for outlier filtering, gap filling and uncertainty estimation with examples from High Mountain Asia