Oxygen Production from Mars Atmosphere Carbon Dioxide Using Solid Oxide Electrolysis