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