Emergency operations on the hydraulic works in Lucania (Italy) after the earthquake of 23 November 1980