Text this: Spatiotemporal prediction of mining-induced surface subsidence using integrated D-InSAR and boltzmann time function models.