Texas’ Republican Senate primary is a battle of conservative titans