Combining vibrational spectroscopies with quantum chemical calculations for molecular-level understanding of reaction mechanisms on catalytic surfaces