Measurements of Non-Thermal Infrared Emission Lines of Carbon Dioxide in the Mars Upper Atmosphere