vacuum pump cooling system