NBC: Texas redistricting clash becomes another stage in the GOP's big Senate primary fight