Quale documentazione deve essere predisposta dal datore di lavoro per attestare la formazione in materia di sicurezza per il RSPP alto rischio?