Rate coefficients for the reactions of CO2+ with O: Lessons from MAVEN at Mars