A Study on the Calculation of Optimal Manpower and Collection Size for the Efficient Operation of Local Public Library