Quali sono i principali strumenti utilizzati durante la formazione professionale per i formatori della sicurezza sul lavoro?