Spectral Graph Theory in CS