Redundant representations help generalization in wide neural networks