Functional diversity of Himalayan bat communities declines at high elevation without the loss of phylogenetic diversity