Measuring Library Performance: Principles and Techniques