The Dry Dock Scheduling Problem