Submodular Optimization for Efficient Semi-supervised Support Vector Machines