Commutators, spectral trace identities, and universal estimates for eigenvalues