Neural network-based prescribed performance adaptive finite-time formation control of multiple underactuated surface vessels with collision avoidance.