coal mining productivity in south africa