Московский политехнический университет, библиотека