Deriving Dynamic Subsidence of Coal Mining Areas Using InSAR and Logistic Model | Synapse