Bi-objective optimisation model and its exact solution method of profit and market share of novel repair-and-support ships based on game theory