A detailed look into hydrogen electrochemical oxidation on ceria anodes