The diversity and taxonomy of anaerobic gut fungi