The magnitude of fungal diversity: the 1.5 million species estimate revisited