Formation Control under Arbitrarily Changing Topology