which type of coal is used in cement industry