Высшая школа экономики, библиотека