Quali sono i documenti obbligatori da redigere sotto la supervisione del RSPP per l'alto rischio?