what‘s the difference between degasser and deaerator?