A Base Integer Programming Model and Benchmark Suite for Liner-Shipping Network Design | Synapse