First-principles study of phase equilibrium in Ti–V, Ti–Nb, and Ti–Ta alloys