A numerical study of thunderstorm electrification: Model development and case study