A simulation-based framework for checkpoint design in large-scale crowd management: Case study of the papal mass in philadelphia. (July 2020)