Foundations of Support Constraint Machines