comment est exploitation minière fait du charbon