简述真空泵的工作原理。