Quali sono i requisiti per la redazione e la diffusione di procedure di pronto intervento per situazioni di emergenza per il datore di lavoro che delega ad un RSPP esterno?