An application of machine learning to e-mail filtering