Numerical simulation of the atmospheric circulation above the Venice Lagoon