Explicit Eigenvalue Regularization Improves Sharpness-Aware Minimization