An Overview of the Business History of the International Mining Industry