industrie minière de traitement de minerai de charbon