Reactions of O 3PJ atoms with halogens: The rate constants for the elementary reactions O + BrCl, O + Br2, and O + Cl2