Formal contributions to the theory of public choice: the unpublished works of Duncan Black