Understanding the controls and mechanisms of coal mining-induced ground movement using numerical modelling and InSAR analysis