Quali sono gli strumenti e le risorse che il datore di lavoro può mettere a disposizione del RSPP esterno per svolgere al meglio il proprio lavoro?