SmarTax: An Intelligent Tax Policy Maker via Multi-agent Reinforcement Learning and Irrationality of Humans | Synapse