$\propto$SVM for learning with label proportions