On the observability of relative positions in left-invariant multi-agent control systems and its application to formation control.