Predictive modelling of positive leader propagation under standard and oscillatory impulse shapes