Quali sono i principali documenti che il datore di lavoro deve redigere per i lavoratori a rischio alto?