Population genetics of the socially polymorphic ant Formica podzolica