Bandit: A Human-in-the-Loop OCR System for East Asian Historical Documents