Feature subset selection for kernel SVM classification via mixed-integer optimization