可用两种煤气来加热的焦炉，称为（）式焦炉。