Rigorous models to optimise stripping gas rate in natural gas dehydration units