Agent-Based Models in Public Choice