Distributed formation control with permutation symmetries