Quantitative assessment of risk due to major accidents triggered by lightning