Thermodynamic modeling of the aluminum–iron–oxygen system. (December 2015)