history on copper mining in tanzania