On Statistical Properties of Sharpness-Aware Minimization: Provable Guarantees