what type of coal used for cement