Molecular simulation of the solubility of carbon dioxide in aqueous solutions of sodium chloride