Wide Neural Networks Trained with Weight Decay Provably Exhibit Neural Collapse