the us mining law of 1872