Basis Reduction, and the Complexity of Branch-and-Bound