Modeling the electrochemical conversion of carbon dioxide to formic acid or formate at elevated pressures