Pruning Before Training May Improve Generalization, Provably