Is Virginia Tech football on TV today?