Solubility Trapping of Carbon Dioxide in Deep Saline Aquifers