How Texas allocates Republican delegates