Thermochemistry of the selective dehydrogenation of cyclohexane to benzene on Pt surfaces