Prediction of surface subsidence over mine excavations