The attached vacuum pump of a ballast pump operates on the principle of a: