MANENT: An infrastructure for integrating, structuring and searching digital libraries