a room and pillar coal mine in south africa