Former UT coach Darrell Royal dies at 88