Use of Sacrificial Anodes in Synthetic Electrochemistry. Processes Involving Carbon Dioxide