Isotopic labeling studies of the mechanism of dehydrogenation of methanol to methyl formate over copper-based catalysts