The Benefits of Mixup for Feature Learning