A brief history of mining law