Simulating convection and lightning occurrence: microphysical analysis of an extreme hailstorm