Quali sono i principali strumenti utilizzati durante il corso di aggiornamento per formatori RSPP?