use of coal in cement making