Formic acid oxidation on platinum electrodes: a detailed mechanism supported by experiments and calculations on well-defined surfaces | Publicación