When to stop reviewing: validation of stop criteria in ASReview | Synapse