Phylogeography of social polymorphism in a boreo-montane ant