The electrolytic reduction of carbon dioxide to formic acid