Integrated Berth Allocation and Quay Crane Assignment Problem: Set partitioning models and computational results. (September 2015)