Quali sono i principali adempimenti documentali previsti per il datore di lavoro ad alto rischio in materia di sicurezza sul lavoro?