Spatiotemporal pattern formation in the electro-oxidation of formic acid on Pt