CRINN: Contrastive Reinforcement Learning for Approximate Nearest Neighbor Search