Quale documentazione è necessaria per formalizzare la delega ad un RSPP esterno?