First-principles determination of the Ni-Al phase diagram