What are the differences between vacuum ball valves and ordinary ball valves?