Texas opens as a nine-point favorite over TCU