Electrochemical reduction of carbon dioxide to formate with a Sn cathode and an IrxSnyRuzO2/Ti anode