Building Control with Passive Dampers: Optimal Performance-based Design for Earthquakes