Monitoring of mining-induced subsidence lakes by Radarsat-2 SAR images in Huainan, Eastern China | IEEE Conference Publication | IEEE Xplore