Carbon dioxide electroreduction into formic acid and ethylene: a review