Что такое производственная травма: определения и виды