Electrochemical reduction of carbon dioxide to formate with Fe-C electrodes in anaerobic sludge digestion process.