CP and MIP Methods for Ship Scheduling with Time-Varying Draft