Texans are choosing a Republican nominee for U.S. Senate in Tuesday’s runoff election, bringing to a close the extended, bitter and expensive primary where President Donald Trump weighed in late to tip the race in another effort to rid the GOP of leaders less devoted to him.