Classification with Positive and Negative Equivalence Constraints: Theory, Computation and Human Experiments