Oil-sealed vacuum pumps