Quali sono le modalità di verifica dell'avvenuta formazione obbligatoria per i datori di lavoro a rischio alto?