où sont les mines de charbon en afrique du sud