Bounds on the size of branch-and-bound proofs for integer knapsacks