Quali sono i documenti necessari per attestare la formazione dei datori di lavoro ad alto rischio?