general_mining_act_of_1872