The Mining Law of 1872: Past, Politics, and Prospects