TaxAI: A Dynamic Economic Simulator and Benchmark for Multi-Agent Reinforcement Learning