Text this: Directional Core Drilling as an Approach to Reduce Uncertainty in Tunneling Construction.