Quali sono i documenti che devono essere rilasciati ai lavoratori ad alto rischio al termine del corso di aggiornamento sulla sicurezza?