红褐林蚁从事农耕的蚂蚁是______，热带森林中植物的叶子大约有％成为它们培育蘑菇的原料