Quali sono i principali strumenti informatici utilizzati da un docente di sicurezza sul lavoro durante la formazione?