Numerical modeling of pseudotachylyte injection vein formation