Cooperative distributed nonlinear model predictive control of a formation of differentially-driven mobile robots