Real-Time Traffic Prediction Improvement through Semantic Mining of Social Networks