The 3 June 1994 Java Tsunami: A Post-Event Survey of the Coastal Effects