Numerical simulation of the propagation of ship-induced Riemann waves of depression into the Venice Lagoon