Ab initio potential energy surface for methane and carbon dioxide and application to vapor-liquid coexistence.