How to remove gas from the drilling mud