Educational computer simulations of lightning and associated thunders