First-principles calculation of the formation energies of ordered and disordered phases of AlAs-GaAs