A computational study of electrochemical CO2 reduction to formic acid on metal-doped SnO2