Proximate and ultimate control of sex ratios in Myrmica brevispinosa colonies