Integer linear optimization: Branch & Bound