Efficient and Provable Effective Resistance Computation on Large Graphs: An Index-based Approach | Synapse