Text this: World non-ferrous metal production and prices, 1700-1976