Model test and numerical simulation of frost heave during twin-tunnel construction using artificial ground-freezing technique