Nearest-Neighbor Sample Compression: Efficiency, Consistency, Infinite Dimensions