Ship traffic and shoreline erosion in the Lagoon of Venice.