how many students attend university of texas at austin