A taxonomic revision of the Formica rufibarbis FABRICIUS, 1793 group (Hymeno- ptera: Formicidae)