Text this: Water-carbon dioxide solid phase equilibria at pressures above 4 GPa