Quali sono gli strumenti utilizzati per la gestione della documentazione relativa ai corsi di formazione sulla sicurezza sul lavoro in ambienti ad alto rischio?