An overview of the modeling of crowd dynamics