A Theoretical Analysis of the Velocity Obstacle Method for Nonholonomic Vehicles and Underactuated Surface Vessels | Synapse