A Lightning Parameterization for Numerical Cloud Models | Synapse