Nonlinear Control of Leader-Follower Formation Flying