Fixed-time formation control of fully-actuated surface vessels with input saturation and complex unknowns.