Will turnout in the first round of the Texas Democratic Senate primary be between 1,000,000 and 1,250,000 voters?