What should be the first thing to do if someone is injured at work?​