Logic-Based Benders Decomposition for Unmanned Electric Tugboat Scheduling Considering Battery-Swapping Operations | Synapse