凡用于高炉冶炼的焦炭称为（）。