Quali sono i documenti obbligatori che un formatore RSPP alto rischio deve redigere e conservare secondo il D.lgs 81/2008?