Theory and numerics for finite deformation fracture modelling using strong discontinuities