Former UT football coach Darrell Royal dies at 88