Title: Concise History of Mining