Sex-ratio dependent execution of queens in polygynous colonies of the ant Formica exsecta