KNN Classifier and Naive Bayse Classifier for Crime Prediction in San Francisco Context