Machine Learning and Big Data Methodologies for Network Traffic Monitoring