Deriving time-series three-dimensional displacements of mining areas from a single-geometry InSAR dataset