Quali sono gli strumenti didattici utilizzati durante il corso di aggiornamento per i formatori RSPP ad alto rischio?