At last! Brazil’s government launches major operation to evict miners from Yanomami territory