Quali sono i principali strumenti utilizzati per la gestione della sicurezza da parte del RSPP alto rischio?