The economic value of geologic exploration as a risk reduction strategy in underground construction