The lessons for big mining from Rio’s leadership race