Provable Weak-to-Strong Generalization via Benign Overfitting