Host-plant selection, diet diversity, and optimal foraging in a tropical leafcutting ant