coût par tonne de charbon minier