The effects of halide anions on the electroreduction of CO2 to C2H4: a density functional theory study