Fault accommodating thruster force allocation of an AUV considering thruster redundancy and saturation