Control of second-order nonlinear multi-agent systems with unknown leaders