Managing the ship movements in the Port of Venice