Dehydrogenation of cyclohexene on ordered Sn/Pt(111) surface alloys