Thermal jet drilling of granite rock: a numerical 3D finite-element study