Efficiency evaluation of high-temperature steam electrolytic systems coupled with different nuclear reactors