Distributed Time-Varying Formation Tracking Analysis and Design for Second-Order Multi-Agent Systems