Nonlinear control of multiple spacecraft formation flying using the constraint forces in Lagrangian systems