Theoretical Investigation of CO2 Reduction at Ni/SDC and La(Sr)FeO3 Cathodes in Solid Oxide Electrolysis Cells