How does a vane vacuum pump work