Explainer: How a lightning strike can lead to a manhole explosion