Detecting mining-induced ground deformation and associated hazards using spaceborne InSAR techniques. Issue 1 (1st January 2018)