Prediction of Top Coal Cavability Character of a Deep Coal Mine by Empirical and Numerical Methods