Dry Docked Maintenance Scheduling of Commercial Shipping Vessels in Kuwait Using an Integer Programming Methodology.