NFL revenue still dwarfs college football revenue