A new catalysis for benzene production from acetylene under ultrahigh-vacuum conditions: tin/platinum(111) surface alloys