Probabilistic seismic demand analysis: spectrum matching and design