真空泵油能用其他润滑油代替吗