Neural-based formation control of uncertain multi-agent systems with actuator saturation