Government capital and the production function for U.S. private output