Paleo Tibetan Lake Extent Mapping from High-Resolution Satellite Imagery and SRTM Digital Elevation Models