Capital and output Trends in Mining Industries, 1870-1948