GLIMS: Progress in mapping the world’s glaciers | IEEE Conference Publication | IEEE Xplore