A Benchmark and Dataset for Post-OCR text correction in Sanskrit