Infrared spectrum of carbon dioxide