A Comparison of Agent-Based Models of Income Tax Evasion