Text this: Injury epidemiology of workers by age, sex and industrial classification using the medical claim data of National Health Insurance in South Korea, 2012–2015: a population-based retrospective study