DFT Study of Oxygen Reduction Reaction on Os/Pt Core–Shell Catalysts Validated by Electrochemical Experiment | Synapse