Quali sono le procedure per la redazione del programma formativo per i lavoratori ad alto rischio previste dal D.lgs 81/2008?