Extracting Symbolic Models of Collective Behaviors with Graph Neural Networks and Macro-Micro Evolution