type of coal used by cement industry