Thermodynamic modeling of the Al–Cr system