Finite-time consensus of second-order multi-agent systems via auxiliary system approach