Formulating max-margin classification