Will turnout in the first round of the Texas Republican Senate primary be between 2,400,000 and 2,600,000 voters?