Ants learned to farm fungi during a mass extinction