[Street pavement damage caused by Loma Prieta earthquake]