vacuum pump distributor