1872 Mining Law