GIS-based assessment of risk due to salt mining activities in the city of Tuzla (Bosnia and Herzegovina)