An Efficient and Fully Refined Deformation Extraction Method for Deriving Mining-Induced Subsidence by the Joint of Probability Integral Method and SBAS-InSAR.