Title: Capital and output trends in mining industries, 1870-1948