Quali sono le procedure per la revoca della designazione di un RSPP esterno?