A simple function for the solubility of water in dense-phase carbon dioxide