A mathematical programming approach to SVM-based classification with label noise. (October 2022)