用于高炉冶炼的焦碳称为（），用于冲天炉熔炼的焦碳称为（）。