The use of documentary sources for reconstructing flood chronologies on the Amalfi rocky coast (southern Italy)