Electrochemical conversion of carbon dioxide to formic acid: on the road to applicative scale