Modeling the Impacts of Tides and the Virtual Arrival Policy in Berth Allocation | Synapse