Synopsis and classification of Formicidae