HyperEF: Spectral Hypergraph Coarsening by Effective-Resistance Clustering