Predicting the NFL using Twitter