Model validation and performance analysis of regenerative solid oxide cells: Electrolytic operation