Contributions to the knowledge of Formicidae (Hymenoptera, Aculeata): a new diagnosis of the family, the first global male-based key to subfamilies, and a treatment of early branching lineages