Dynamic Spectral Clustering with Provable Approximation Guarantee