工业萘精馏塔顶的蒸汽通常是用（）来冷凝冷却的。