Assimilation of total lightning data using the three-dimensional variational method at convection-allowing resolution