The finance of public libraries