The role of libraries in education