Practical Sharpness-Aware Minimization Cannot Converge All the Way to Optima