Operations research: implications for libraries