How to use a vacuum pump