Capital and output trends in mining industries, 1870-1948 (Studies in capital formation and financing)