Quantifying ice-shelf basal melt and ice-stream dynamics using high-resolution DEM and GPS time series