The Berth Allocation Problem: A Strong Formulation Solved by a Lagrangean Approach | Synapse