An economic valuation study of public libraries in Korea