Quali sono i documenti che devono essere redatti e conservati in relazione alla formazione obbligatoria dei lavoratori ad alto rischio?