真空泵油的型号有哪些区别