Analysis of Convergence Property of an SMO Algorithm for Support Vector Regression