Quali sono i documenti necessari per attestare il completamento con successo del corso di aggiornamento per RSPP alto rischio?