Species diversity, updated classification and divergence times of the phylum Mucoromycota