Solid state electrochemical cell for the measurement of Gibbs free energy of formation: system Ba–U–O