Quali sono gli strumenti utilizzati durante il corso di aggiornamento online per formatore RSPP alto rischio?