Laboratory evaluation of new insecticides and bait matrices for the control of leaf-cutting ants (hymenoptera, formicidae)