High temperature electrolysis