Texas’ 9th Congressional District GOP runoff: Who is running and what to know