Ensembles provably learn equivariance through data augmentation