Texas Senate primary: Democrats have higher turnout than Republicans?