Subsidence due to underground mining. Part 1. Theory and practices in predicting surface deformation