Agent-based modeling of the COVID-19 pandemic in Florida