Formation Maneuvering Control of Nonholonomic Multi-Agent Systems