¿Qué formación debe recibir un trabajador que maneja maquinaria industrial?