Ship repair: trends, challenges and growth opportunities