Occupational hand–arm vibration syndrome in Korea