Construction of mountain tunnel