A brief history of the Lexington County Public Library System