Mining, history of