Competing HCOOH and CO Pathways in CO2 Electroreduction at Copper Electrodes: Calculations of Voltage-Dependent Activation Energy