Effect of temperature and social environment on worker size in the ant Temnothorax nylanderi. (July 2017)