Sex ratio strategy in Formica ants