Crack propagation in finite elastodynamics