Label Noise SGD Provably Prefers Flat Global Minimizers