Quali sono i documenti da conservare per comprovare la formazione obbligatoria dei RSPP nei datori di lavoro a rischio alto?