Inferring ant evolution in the age of molecular data (Hymenoptera: Formicidae)