The structure of carbon dioxide adsorbed on a sodium chloride (001) surface