A simulation model for water traffic in the historical city centre of Venice