Quali sono gli strumenti di monitoraggio utilizzati per verificare l'efficacia della formazione del datore di lavoro e del RSPP in ambito ad alto rischio?