Convergence analysis of an efficient spectral element method for Stokes eigenvalue problem