'Operation Exodus': Brazil miners flee Yanomami land