Fundamental Convergence Analysis of Sharpness-Aware Minimization