The lock scheduling problem: Connecting chamber scheduling and ship placement through Combinatorial Benders' Decomposition