Advancing Post-OCR Correction: A Comparative Study of Synthetic Data