Ant species richness, endemicity and functional groups, along an elevational gradient in the Himalayas