u s mining law of 1872 amendments