Spatiotemporal prediction of mining-induced surface subsidence using integrated D-InSAR and boltzmann time function models | Synapse