Multilevel modeling of solid oxide electrolysis