Optimizing lock operations: a combinatorial Benders' approach