Finite exact branch-and-bound algorithms for concave minimization over polytopes