Average formation tracking for second-order multi-agent systems with multiple leaders