真空泵的种类和各自的作用