Genetic diversity, worker size polymorphism and division of labour in the polyandrous ant Cataglyphis cursor