Monitoring ground subsidence induced by salt mining in the city of Tuzla (Bosnia & Herzegovina)