Discovery of new stable and high-temperature Ti-Ta-X shape memory alloys from first principles calculations