It’s official: Texans take Clowney with No. 1 overall pick