Distributed Auction-Based Target Assignment for Formation Reconfiguration of Unmanned Surface Vehicles Subject to Kinematic Constraints | Synapse