Prediction and control of surface subsidence over abandoned mined lands in Carbonia (Italy)