How does the vacuum pump work?