Finite element modeling of the July 12, 1993 Hokkaido Nansei-Oki tsunami