Quali sono gli obblighi di formazione per il RSPP alto rischio previsti dal D.lgs 81/2008?