Improving SAM Requires Rethinking its Optimization Formulation