Ab initio R1 mechanism of photostimulated oxygen isotope exchange reaction on a defect TiO2 surface: The case of terminal oxygen atom exchange