An Introduction to Hashing in the Era of Machine Learning