Ice thickness distribution of Himalayan glaciers inferred from DInSAR-based glacier surface velocity