The Loma Prieta, California, earthquake of October 17, 1989 - loss estimation and procedures (US Gov. Print. Off., 1993)