types of coal used for cement production