TMR: Text-to-Motion Retrieval Using Contrastive 3D Human Motion Synthesis