what is the population of the city where the university of texas is based ?
964,254