简述几种典型真空泵的工作原理。