Polydomy and sexual allocation ratios in the ant Myrmica punctiventris