Models for earthquake rupture propagation