Notes from the Texas Longhorns' first spring football practice