The new college library: Fewer books, more noise, more space