Interaction between soil and bored tunnel lining during construction using artificial ground freezing