Finite-time coordinated path-following control of leader-following multi-agent systems