Simulation-based seismic risk assessment of gas distribution networks