アリが複雑な巣を効率良く掘り進めるメカニズムとは?