Tsunami Inundation Modelling in a Built-In Coastal Environment with Adaptive Mesh Refinement: The Onagawa Benchmark Test