Velocity distributions of carbondioxide molecules from the oxidation of CO on Pt(111)