Branch and Bound for Semi-Supervised Support Vector Machines