Thermodynamics of high-temperature, high-pressure water electrolysis