Quantum optimization for training support vector machines