Automated production of high-resolution DEMs from historical imagery for quantitative analysis of glacier and geomorphological change