Verification of the New Coal Pillar Strength Formula and Investigations Into the Prediction of Pillar Life in Witbank and Highveld Coalfields