Collective Behavior and Modeling in Social Insects