Mining large-gradient subsidence monitoring using D-InSAR optimized by GNSS | Synapse