Measurement and modeling of CO₂ solubility in natural and synthetic formation brines for CO₂ sequestration.