Relating cloud microphysical properties and lightning: Model analysis of an Extreme Hailstorm