Thermodynamic modeling of the binary barium-oxygen system