Modeling the electrochemical conversion of Carbon Dioxide to Formic Acid or formate at elevated pressures