Quali sono i documenti che devono essere redatti dal datore di lavoro in merito alla formazione in primo soccorso alto rischio?