Quali sono i documenti obbligatori che un datore di lavoro RSPP alto rischio deve redigere e tenere aggiornati?