Glacial lake mapping: Progress, challenges, and future directions | Synapse