Quantum speedup of branch-and-bound algorithms