How many species that have been described have been extinct?