Ex-University of Texas coach Royal dies at age 88