Fast finite-time consensus tracking of second-order multi-agent systems with a virtual leader