An application of InSAR time-series analysis for the assessment of mining-induced structural damage in Panji Mine, China