When is a species extinct? Quantitative inference of threat and extinction from herbarium data