Text this: Automated semantic query formulation for Quranic verse translation retrieval