Which of the football team coached by W. E. Metzenthin represents The University of Texas at Austin in NCAA Division I intercollegiate men's basketball competition?