Quali sono i documenti e le procedure che un formatore RSPP alto rischio deve conoscere e illustrare durante il corso di aggiornamento?