Forager size and ecology of Acromyrmex coronatus and other leaf-cutting ants in Costa Rica