First-Principles Calculations of Propane Dehydrogenation over PtSn Catalysts | Synapse