A Numerical Model of the Wave that Overtopped the Vajont Dam in 1963