H2 Thermal Desorption Spectra on Pt(111): A Density Functional Theory and Kinetic Monte Carlo Simulation Study