Leader-following consensus protocols for formation control of multi-agent network