Text this: Injury trends among foreign and domestic tourists in Jeju from 2008 to 2018