12252 what type of coal is used to make steel