quel type de charbon est obtenu à partir des mines en Afrique du Sud