1872 mining law