Area and mammalian elevational diversity.