发送短信 : Automated semantic query formulation for Quranic verse translation retrieval