Koninklijke Bibliotheek, nationale bibliotheek