Performance of the electrochemical hydrogen pump of a proton-conducting oxide for the tritium monitor