Inversion and prediction of time-varying surface subsidence in coal mines by combining SBAS-InSAR and time-series prediction algorithms | IEEE Conference Publication | IEEE Xplore