Mining: an international history. by John Temple