high-temperature pump