A branch-and-bound approach for AGV dispatching and routing problems in automated container terminals. (April 2022)