How the New York Public Library is working to digitize its giant collection.