Benchmark Control Problems for Seismically Excited Nonlinear Buildings | Synapse