Quali sono le procedure per la registrazione e la documentazione della formazione per i lavoratori con rischio alto?