Venezia, la festa del Redentore