Modelling temporal kinetic oscillations for electrochemical oxidation of formic acid on Pt