Measurement and correlation of high pressure phase behavior of carbon dioxide + water system