Quali sono i documenti da redigere per formalizzare le procedure di controllo e verifica delle attività di prevenzione e protezione con il coinvolgimento del RSPP esterno?