Operations Research: A Tool for Library Management