Text this: Distributed Lyapunov-based model predictive formation control for unmanned surface vehicles with flexible-time prescribed performance.