Fault tolerant control allocation for a thruster-controlled floating platform using parametric programming