Approximate Calculation of Error Function erf(x) and Its Application in Mining Subsidence Prediction