Consistent Polyhedral Surrogates for Top-$k$ Classification and Variants