Density of mushroom body synaptic complexes limits intraspecies brain miniaturization in highly polymorphic leaf-cutting ant workers