A review of mechanical models of dike propagation: Schools of thought, results and future directions