Simulating emergent properties of coordination in Maude: the collective sorting case