The SAFE procedure: a practical stopping heuristic for active learning-based screening in systematic reviews and meta-analyses | Synapse