A survey of techniques for internet traffic classification using machine learning