How many Texans voted early in the 2020 US general election