Electrochemical conversion of methane to ethylene in a solid oxide electrolyzer