Mineral diversity: beyond 7000 species?