Measurement and prediction model of carbon dioxide solubility in aqueous solutions containing bicarbonate anion