Robot formation control in nonlinear manifold using Koopman operator theory