Vacuum pump: types, how to choose, how to use it and what to expect