Case Studies of Tall-Building Structural Analyses and Downtime and Loss Assessment for the HayWired Scenario Mainshock