A genetic component in the determination of worker polymorphism in the Florida harvester ant Pogonomyrmex badius