Characteristics of Tsunamis Propagating over Oceanic Ridges: Numerical Simulation of the 1996 Irian Jaya Earthquake Tsunami