Theory-guided bottom-up design of β-titanium alloys as biomaterials based on first principles calculations: Theory and experiments