A computer model for streamer propagation