Isolation of the trail pheromone of the ant Myrmica rubra