SAT-based branch & bound and optimal control of hybrid dynamical systems