The AI Economist: Can It Optimize Tax Policy?