Consistent Polyhedral Surrogates for Top-k Classification and Variants