Validated simulations of dynamic crack propagation in single crystals using EFEM and XFEM