Oil-sealed vacuum pump