Supervised sentiment analysis of political messages in Spanish: Real-time classification of tweets based on machine learning