Quali sono i documenti necessari per formalizzare la delega della gestione della sicurezza sul lavoro ad un RSPP esterno?