The Theory and practice of local taxation in the United States