Coke Formation on Pt–Sn/Al2O3 Catalyst in Propane Dehydrogenation: Coke Characterization and Kinetic Study