Arch Manning debuts as starting quarterback for the Texas Longhorns: Here’s how to tune in