A New K-Nearest Neighbors Classifier for Big Data Based on Efficient Data Pruning | Synapse