the role of the south african coal mining industry in the world energy