Empowering LLMs with Logical Reasoning: A Comprehensive Survey