Upper spectral bounds and a posteriori error analysis of several mixed finite element approximations for the Stokes eigenvalue problem