Twitter Mood Predicts the Stock Market