Satellite radar interferometry for mine subsidence monitoring