Practical and Configurable Network Traffic Classification Using Probabilistic Machine Learning