A distributed constraint optimization approach for vessel rotation planning