Quali sono i documenti obbligatori da redigere per il datore di lavoro che delega la responsabilità ad un RSPP esterno?