Structure of protonated carbon dioxide clusters: infrared photodissociation spectroscopy and ab initio calculations.