Text this: Development of variolation and its introduction to Joseon-era Korea