When Redundancy Matters: Machine Teaching of Representations