An introduction to the modeling of crowd dynamics