Quali sono le procedure per la redazione e la gestione della documentazione relativa alla sicurezza e alla prevenzione degli infortuni, insegnate durante la formazione dei datori di lavoro?