general mining act of 1872