Resolvent Trace Formula for Empirical Spectral Distributions