The History of Mining: The Events, Technology and People Involved in the Industry That Forged the Modern World