Title: A concise history of mining