Quali sono i requisiti per la registrazione e la documentazione delle attività di formazione RSPP per un datore di lavoro con rischio alto?