Quali sono le modalità di controllo e verifica della formazione per i RSPP ad alto rischio previste dal D.lgs 81/2008?