la production minière de charbon