Quali sono i documenti necessari per attestare la formazione del datore di lavoro in un ambiente ad alto rischio?