Ship routing and scheduling with cargo coupling and synchronization constraints