First-principles calculations and thermodynamic modeling of the Ni–Mo system