Electrochemical Conversion of CO2 to HCOOH at Tin Cathode: Development of a Theoretical Model and Comparison with Experimental Results