The aggression test as a possible taxonomic tool in the Formica rufa group