Measuring mining induced subsidence with InSAR | IEEE Conference Publication | IEEE Xplore