Support Vector Machines: Theory and Applications