Size and efficiency in public library provision : a review of the arguments