ALYMPICS: LLM Agents Meet Game Theory -- Exploring Strategic Decision-Making with AI Agents