The carbon dioxide molecule: Potential, spectroscopic, and molecular constants from its infrared spectrum