Modeling of the Runup Heights of the Hokkaido-Nansei-Oki Tsunami of 12 July 1993