Probabilistic seismic risk assessment of highway transportation network