A High-Tech Library Keeps Books at Faculty Fingertips-With Robot Help