Probabilistic seismic demand analysis for pounding risk assessment