The history of integration in college football