Exact Solution Approaches to the Berth Allocation Problem in Bulk Sea Port Terminals