FloraSNevada: a trait database of the vascular flora of Sierra Nevada, southeast Spain. Issue 9 (23rd July 2020)