Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case