A Survey on Big Data for Network Traffic Monitoring and Analysis