The UBO-TSUFD tsunami inundation model: validation and application to a tsunami case study focused on the city of Catania, Italy