Modelling of solid oxide proton conducting reactor-cells: thermodynamics and kinetics