Design of space thrusters: a topology optimization problem solved via a Branch and Bound method