what type of coal is used to make cement