First description of the sexual forms of seven Himalayan Myrmica species (Hymenoptera, Formicidae).