Mining; an international history by John Temple