Oxygen Vibrational Relaxation in O2–H2 Mixtures