Quali sono i documenti obbligatori da redigere e conservare in relazione alla formazione dei lavoratori in ambito di alto rischio?