Thermodynamic modeling of the system As–Fe combined with first-principles total energy calculations