Texas comptroller primary: Who is running and what to know