Predefined-Time Globally Nonsingular Prescribed Performance Control for AUVs Under Uncertainties and Actuator Saturation | Synapse