The History of Mining: The events, technology and people involved in the industry that forged the modern world