Empowering Elasticsearch with Exact and Fast $r$-Neighbor Search in Hamming Space