revenus tirés de l étain namibie de l exploitation minière