The transition probability of electron loss from anions in the gas phase: The lifetime of O2 ⋅−