A recursive branch-and-bound algorithm for the exact ground state of Ising spin-glass models