Monitoring and analysis of surface subsidence in mining areas of integrated SBAS-InSAR and probability integral method | Synapse