The University of Pittsburgh Digital Library: a case study in inter-library cooperation