use of coal in cement production