Mathematical models of single-nest migration behavior of social insects