O’Brien officially introduced as Texans new coach