industrie de l industrie minière du charbon en afrique du sud