Understanding Surface Redox Reactions in Photocatalytic Overall Water Splitting with Pt/SrTiO 3 in the Presence of Oxygen: A Modeling Approach | Synapse