Pressurized CO2 Electrochemical Conversion to Formic Acid: From Theoretical Model to Experimental Results