Title: Mining - an international history