Quantitative risk assessment of domino effect in Natech scenarios triggered by lightning