تعمیرات کشتی‌های اقیانوس‌پیما در ایزوایکو؛ کاهش زمان و افزایش بهره‌وری