Electroreduction of Carbon Dioxide into Formate: A Comprehensive Review | Synapse