A revision of the ants of the genus Formica (Linné) Mayr