Distributed Prescribed Performance Formation Tracking for Unknown Euler–Lagrange Systems Under Input Saturation | Synapse