Naive Bayes email filtering through Machine Learning and email querying using Boolean Information Retrieval