Analysis of thermo-chemical nonequilibrium models for carbon dioxideflows