Theory and computer model of the lightning stepped leader