Formalizing the Role of Agent-Based Modeling in Causal Inference and Epidemiology