Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning