A training algorithm for optimum margin classifiers