Quanto dura il corso di aggiornamento per la sicurezza degli operatori che lavorano con macchinari ad alta pressione?