DEMS as a tool for the investigation of dynamic processes: galvanostatic formic acid oxidation on a Pt electrode