Texas Hires Sean Miller as New Men's Basketball Head Coach