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