Quantitative characterization of salting out during development of deep high temperature gas reservoirs