Quali sono i documenti necessari per la revoca della delega ad un RSPP esterno?