Fungal taxonomy and sequence-based nomenclature