Was the ancient harbour of Catania (Sicily, southern Italy) buried by medieval lava flows?