Theoretical and Practical Model Selection Methods for Support Vector Classifiers