Electrochemical Methodologies for the Carboxylation Reactions in Organic Synthesis. An Alternative Re-use of Carbon Dioxide