quel type de charbon est utilisé dans la production de ciment