Mining Tycoons in the Age of Empire, 1870–1945