Tightly integrated library management and resource discovery are key to Natural History Museum’s strategic goal