Thermodynamic modeling of the aluminum–iron–oxygen system