Large-scale agent-based social simulation