Uncertainty-observer-based dynamic sliding mode formation control for multi-agent systems