what is the university of texas football record