formica polyctena