A Framework and Dataset for Contextual Post-OCR Correction | Synapse