Effect of Propeller Modelling on Station-Keeping Thruster Allocation Strategy